Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·14h
CodeSOD: Validation Trimmed Away
thedailywtf.com·12h
Archiving Machines
mitpress.mit.edu·2d
SSDF 1.2 recognizes AppSec is a journey
reversinglabs.com·6h
Software Heritage Archive recognized as a digital public good
softwareheritage.org·10h
22.00.0177 Backups aren't enough: create 'restore points'
johnnydecimal.com·3h
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.com·4h
Measuring Data Maturity
prepend.com·16h
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
Loading...Loading more...